.fun exit BUILTIN [] = [S32]
.fun xbrk BUILTIN [A64] = [A64]
.fun open BUILTIN [S32] = [A64 S32 S32]
.fun close BUILTIN [S32] = [S32]
.fun write BUILTIN [S64] = [S32 A64 U64]
.fun read BUILTIN [S64] = [S32 A64 U64]
.fun lseek BUILTIN [S64] = [S32 S64 S32]
.fun raise BUILTIN [S32] = [S32]
.fun kill BUILTIN [S32] = [S32 S32]
.fun getpid BUILTIN [S32] = []
